cos x cos y = 2 cos (x y)